The SATySFibook
7章（ファイル構造，諸々）
拡張子 .satyg は，テキストモードと PDF モードとで共通に使えるパッケージファイルにつけることを想定している．これは将来的な拡張の都合であり，現在はどちらでも特に違いはない．
パッケージ（及び分割ファイル）の依存解決について
@requireが.satysfi/{dist|local}/packagesから，@importが対象ファイルからの相対パスから読むらしい（2022年現在からの推測）
11章（相互参照）
これは図表とかが何に対応づいているかのIDを保存し，相互参照のときに使うファイル らしい